Structural tractability of enumerating CSP solutions
نویسندگان
چکیده
منابع مشابه
Lifting Structural Tractability to CSP with Global Constraints
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed combinations of values, or implicitly, by special-purpose algorithms provided by a solver. Such implicitly represented constraints, known as global constraints,...
متن کاملEnumerating All Solutions of a Boolean CSP by Non-decreasing Weight
We address the problem of enumerating all models of Boolean formulæ in order of non-decreasing weight in Schaefer’s framework. The weight of a model is the number of variables assigned to 1. Tractability in this context amounts to enumerating all models one after the other in sorted order, with polynomial delay between two successive outputs. The question of model-enumeration has already been s...
متن کاملFixed-Parameter Tractability of almost CSP Problem with Decisive Relations
Let I be an instance of binary boolean CSP. Consider the problem of deciding whether one can remove at most k constraints of I such that the remaining constraints are satisfiable. We call it the Almost CSP problem. This problem is NP-complete and we study it from the point of view of parameterized complexity where k is the parameter. Two special cases have been studied: when the constraints are...
متن کاملThe tractability of CSP classes defined by forbidden patterns
The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main two approaches consider structural properties (restrictions on the hypergraph of constraint scopes) and relational properties (restrictions on the language ...
متن کاملEnumerating All Solutions for Constraint Satisfaction Problems
We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and Hébrard [CH97] and generalized by Cohen [Coh04], reduces the enumeration problem for a constraint language Γ to the decision problem for a slightly enlarged constraint language Γ, i.e., it yields an efficient enumeration...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2012
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-012-9129-8